int card_test4();